<html>
<head><meta charset="utf-8"><title>Playing with chalk-based rustc · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Playing.20with.20chalk-based.20rustc.html">Playing with chalk-based rustc</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="237072731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Playing%20with%20chalk-based%20rustc/near/237072731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Michael George <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Playing.20with.20chalk-based.20rustc.html#237072731">(May 02 2021 at 18:46)</a>:</h4>
<p>I’m just starting to learn rust, and almost immediately wanted some proposed features (like implied trait bounds) that are blocked on switching to chalk.  I have experience with type systems and logics, so I thought it would be interesting to try out a development version if there is one, and maybe help out with the development once I have some more rust experience.  I’ve started reading the chalk book and the developers guide, but it’s unclear to me whether there is a prototype or how to use it.  Any advice?</p>



<a name="237073723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Playing%20with%20chalk-based%20rustc/near/237073723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Playing.20with.20chalk-based.20rustc.html#237073723">(May 02 2021 at 19:02)</a>:</h4>
<p>So, you can play with the experimental chalk integration in rustc using the <code>-Z chalk</code> flag. But I have to warn you: you will probably run into more things that <em>don't</em> work than do</p>



<a name="237073812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Playing%20with%20chalk-based%20rustc/near/237073812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Playing.20with.20chalk-based.20rustc.html#237073812">(May 02 2021 at 19:03)</a>:</h4>
<p>If you interested more in the Chalk side of things, there are integration tests and a REPL in the chalk <a href="https://github.com/rust-lang/chalk">repo</a> itself that you can play with</p>



<a name="237082372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Playing%20with%20chalk-based%20rustc/near/237082372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Michael George <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Playing.20with.20chalk-based.20rustc.html#237082372">(May 02 2021 at 21:00)</a>:</h4>
<p>Thanks!  Is the -Z flag aiming to reproduce the current rust behavior, or to extend it with features that aren’t supported yet?</p>



<a name="237084064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Playing%20with%20chalk-based%20rustc/near/237084064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Playing.20with.20chalk-based.20rustc.html#237084064">(May 02 2021 at 21:09)</a>:</h4>
<p>Currently just trying to reproduce current behavior</p>



<a name="237084163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Playing%20with%20chalk-based%20rustc/near/237084163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Playing.20with.20chalk-based.20rustc.html#237084163">(May 02 2021 at 21:09)</a>:</h4>
<p>It would be hard to experiment with new features, since there are so many things that <em>don't</em> work</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>